The Reeexive Cham and the Join-calculus C Edric Fournet Georges Gonthier
نویسنده
چکیده
By adding re exion to the chemical machine of Berry and Boudol we obtain a formal model of concurrency that is consistent with mobility and distribution Our model provides the foundations of a programming language with functional and object oriented features It can also be seen as a process calculus the join calculus which we prove equivalent to the calculus of Milner Parrow and Walker
منابع مشابه
A Calculus of Mobile Agents
We introduce a calculus for mobile agents and give its chemical semantics, with a precise de nition for migration, failure, and failure detection. Various examples written in our calculus illustrate how to express remote executions, dynamic loading of remote resources and protocols with mobile agents. We give the encoding of our distributed calculus into the join-calculus.
متن کاملA Top-Down Look at a Secure Message
In ongoing work, we are investigating the design of secure distributed implementations of high-level process calculi (in particular, of the join-calculus). We formulate implementations as translations to lower-level languages with cryptographic primitives. Cryptographic protocols are essential components of those translations. In this paper we discuss basic cryptographic protocols for transmitt...
متن کاملA Hierarchy of Equivalences for Asynchronous Calculi
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi’s definition of weak barbed bisimulation. The π-calculus, used here, and the join calculus are examples of such calculi. We prove that barbed congruence coincides with Honda and Yoshida’s reduction equivalence, and with asynchronous labeled bisimulation wh...
متن کاملThe Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. It is characterized by an explicit notion of locality, a strict adherence to local synchronization, and a direct embedding of the ML programming language. The join calculus is used as the basis for several distributed...
متن کاملOn the Expressive Power of Joint Input
The join-calculus was introduced as anèxtended subset' of the asynchronous-calculus by amalgamating the three operators for input, restriction, and replication into a single operator, called deenition, but with the additional capability to describe the atomic joint reception of values from two diierent channels. In this paper, we just extend the asynchronous-calculus with joint input. By studyi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995